Workshop on Logic - PDFSEARCH.IO - Document Search Engine

Workshop on Logic
Results: 113

#	Item
51	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-05 07:38:23 Logic in computer science Models of computation Proof theory Philosophical logic Geometry of interaction Denotational semantics Linear logic Mathematical logic Curry–Howard correspondence Theoretical computer science Logic Mathematics
52	IMA 2003 Workshop on Agent-based Modelling and Simulation Logic and Geometry of Agents 1 Logic and Geometry of Agents Samson Abramsky Oxford University Computing Laboratory http://web.comlab.ox.ac.uk/oucl/work/samson.ab Add to Reading List Source URL: www.ima.umn.edu Language: English - Date: 2003-11-24 09:26:49 Ethology Agent-based model Complex systems theory Scientific modelling Simulation Logic Science Scientific modeling Knowledge
53	The 6th International Workshop on System on Chip for Real Time Applications A generic Olivier Add to Reading List Source URL: ofaurax.free.fr Language: English - Date: 2008-03-30 13:19:57 Software quality Digital electronics Logic gates Fault injection Software testing Flip-flop Fault-tolerant system Fault-tolerant design VHDL Computing Geology Systems engineering
54	Dexter Campbell Kozen May 2, 2015 Office Computer Science Department 436 Gates Hall Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2015-05-26 17:53:30 Formal languages Algebraic logic Algebraic structures Dexter Kozen Kleene algebra Action algebra Rohit Jivanlal Parikh Közen Workshop on Logic Language Information and Computation Mathematics Logic Mathematical logic
55	Curriculum Vitae ´ ski Damian Niwin JanuaryCurrent Position Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2012-01-12 19:14:06 Symposium on Theoretical Aspects of Computer Science Logic in computer science International Colloquium on Automata Languages and Programming Fundamenta Informaticae IEEE Symposium on Logic in Computer Science Lecture Notes in Computer Science Workshop on Logic Language Information and Computation Theoretical computer science Applied mathematics Computer science
56	Workshop on Reactive and Event-based Languages and Systems (REBLSCo-located with SPLASH, October 21, 2014, Portland, Oregon, USA Solving Interactive Logic Puzzles With Object-Constraints An Experience Report Using Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:20 Software engineering Constraint satisfaction Cassowary Sudoku Backtracking Kaleidoscope Satisfiability Modulo Theories Sudoku algorithms Mathematics of Sudoku Constraint programming Theoretical computer science Mathematics
57	AIJ 11th call for sponsorship applications Event INNS BIg Data Conference Interdisciplinary College IK 2015 IJCAI 2015 Workshop on Cognitive Knowledge Add to Reading List Source URL: aij.ijcai.org Language: English - Date: 2015-04-08 17:14:03 Computer science Logic programming International Joint Conference on Artificial Intelligence Actor model RuleML Symposium
58	Pre-proceedings of the KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 Edited by John-Jules Ch. Meyer and Jan Broersen August 11, 2008 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-08-11 05:22:29 Philosophical logic Metalogic Branches of philosophy Epistemic modal logic Non-monotonic logic Model theory Epistemology Logic programming Entailment Logic Non-classical logic Modal logic
59	SIP-adus Workshop on Connected and Automated Driving Systems Session : Impact assessment SIP-PROJECT : Preliminary examination of Add to Reading List Source URL: www.sip-adus.jp Language: English - Date: 2014-11-19 02:59:03 Operations research Simulation Logic simulation
60	ICAPS 2013: Proceedings of the 1st Workshop on Planning in Continuous Domains Flexible Execution of Partial Order Plans With Temporal Constraints∗ Christian Muise1 , J. Christopher Beck2 , and Sheila A. McIlraith1 1 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2013-12-04 14:21:42 Planning Domain Definition Language Automated planning and scheduling Linear temporal logic Coordination